package srcSAT;

import java.util.List;

import lib.ArgumentValidator;

public class Clause 
{
    List<Integer> variables;

    public Clause(List<Integer> variables) 
    {
        ArgumentValidator.IsNotNull("variables", variables);
        this.variables = variables;
    }
    
    @Override
    public String toString() 
    {
        return String.format("Clause [variables=%s]", variables);
    }

    public List<Integer> Variables() 
    {
        return variables;
    }
}
